Formal systems - PDFSEARCH.IO - Document Search Engine

Formal systems
Results: 1365

#	Item
551	NBD(NIST Big Data) Requirements WG Use Case Template Aug[removed]Use Case Title Crowd Sourcing in the Humanities as Source for Big and Dynamic Data Vertical (area) Humanities, Social Sciences Author/Company/Email Add to Reading List Source URL: bigdatawg.nist.gov Language: English - Date: 2013-09-05 19:17:44 Transaction processing Database management systems Database theory Formal sciences Big data Data integrity Data analysis Metadata Data quality Data management Technology Science
552	Sure Path Brochure_r2.indd Add to Reading List Source URL: www.time-one.com Language: English - Date: 2014-02-06 14:28:36 Science Software development process Software engineering Acceptance testing Transition methodology Software Microsoft Solutions Framework Dynamic systems development method Software development Formal methods Methodology
553	Detecting Privacy Leaks Using Corpus-based Association Rules Richard Chow Philippe Golle Add to Reading List Source URL: crypto.stanford.edu Language: English - Date: 2008-06-24 18:58:26 Logic Natural language processing Computational linguistics Formal sciences Expert systems Inference Knowledge representation and reasoning Association rule learning Information retrieval Science Knowledge Reasoning
554	Nikolay Pavlovich Laptev Contact Information Education Professional Add to Reading List Source URL: www.nikolaylaptev.com Language: English - Date: 2014-01-23 01:39:10 Cloud computing Cloud infrastructure Formal sciences Parallel computing Hadoop Teradata Apache Hadoop MapReduce Citrix Systems Computing Concurrent computing Centralized computing
555	Research Organization of Information and Systems The Institute of Statistical Mathematics[removed] Add to Reading List Source URL: www.ism.ac.jp Language: English - Date: 2014-03-05 04:46:08 Formal sciences Abduction Deduction Psychometrics Statistical inference Bioinformatics Statistics Data analysis Data assimilation Science Knowledge Scientific method
556	Dirk Beyer Curriculum Vitae[removed]Coordinates p Affiliation: Add to Reading List Source URL: www.sosy-lab.org Language: English - Date: 2015-02-11 15:38:37 Software verification Rabbit Model Checker Ambient intelligence Software engineering Year of birth missing CHIC Lecture Notes in Computer Science International Conference on Formal Techniques for Networked and Distributed Systems
557	A PlusCal User’s Manual C-Syntax∗ Version 1.8 Leslie Lamport 11 February 2013 ∗ Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2013-02-11 16:05:06 Type theory Theoretical computer science Algorithms Formal methods Type systems PlusCal Algorithm Programming language Hindley–Milner Software engineering Computing Computer programming
558	Cisco 90-Day Limited Hardware Warranty Terms The following are terms applicable to your hardware warranty. Your formal Warranty Statement, including the warranty applicable to Cisco software, appears in the Cisco Informa Add to Reading List Source URL: www.cisco.com Language: English Business Cisco Systems Return merchandise authorization Magnuson–Moss Warranty Act Extended warranty Contract law Law Warranty
559	Software fault injection and its relationship to software testing Dr. Jeffrey Voas, FIEEE Abstract: Software fault injection is a form of dynamic software testing that allows developers and testers to observe how the sof Add to Reading List Source URL: rs.ieee.org Language: English - Date: 2011-07-27 12:22:36 Software quality Systems engineering Formal methods Fault injection Reliability engineering Software development process Institute of Electrical and Electronics Engineers Software testing Science Engineering
560	Book Reviews: Language at Work: Analyzing Communication Breakdown in the Workplace to Inform Systems Design Add to Reading List Source URL: www.jfsowa.com Language: English - Date: 2014-10-20 09:58:29 Semantics Meaning Interdisciplinary fields Formal sciences Natural language processing Terry Winograd Harvey Sacks Natural language understanding Situation theory Science Knowledge Academia

UPDATE